Home Up Previous Next Random
Name a category which does not have a terminal object
The category corresponding to the natural numbers has no terminal object (it would be an integer larger than all integers).